(:*******************************************************:)
(: Test: K2-NumericMod-62                                :)
(: Written by: Frans Englich                             :)
(: Date: 2007-10-03T14:53:32+01:00                       :)
(: Purpose: Ensure the 'div' keyword is parsed correctly. :)
(:*******************************************************:)
empty(<e/>/(mod treat as xs:integer? mod mod treat as xs:integer?))
